Issue2576.agda:6,6-7
Duplicate definition of module ⊥. Previous definition of (datatype)
module ⊥ at Issue2576.agda:5,6-7
when scope checking the declaration
  data ⊥ where
